IdLnkDeq $\in$ EqDecider(IdLnk)